6

Belief Revision and Verisimilitude Based on Preference and Truth Orderings

Year:
2011
Language:
english
File:
PDF, 1.78 MB
english, 2011
9

Extended bar induction in applicative theories

Year:
1990
Language:
english
File:
PDF, 2.84 MB
english, 1990
10

The interpolation theorem in fragments of logics

Year:
1981
Language:
english
File:
PDF, 778 KB
english, 1981
15

Book reviews

Year:
1986
Language:
english
File:
PDF, 118 KB
english, 1986
17

Intracorneal haemorrhage

Year:
1982
Language:
english
File:
PDF, 1.74 MB
english, 1982
19

Contact lens induced severe epithelial disruption

Year:
1989
Language:
english
File:
PDF, 783 KB
english, 1989
20

Descriptions in mathematical logic

Year:
1984
Language:
english
File:
PDF, 760 KB
english, 1984
21

Libri novi

Year:
1977
Language:
english
File:
PDF, 201 KB
english, 1977
25

Interpolation in computing science: the semantics of modularization

Year:
2008
Language:
english
File:
PDF, 258 KB
english, 2008
39

Finite and infinite implementation of transition systems

Year:
2012
Language:
english
File:
PDF, 238 KB
english, 2012
41

Intuitionistic implication without disjunction

Year:
2012
Language:
english
File:
PDF, 426 KB
english, 2012
49

Interpolation in fragments of intuitionistic propositional logic

Year:
1989
Language:
english
File:
PDF, 652 KB
english, 1989